Nuprl Definition : cons def 13,42
[car / cdr] is Primitive 
latex

Upcore 1, core 1
FDL editor aliasescons

origin